li {
  margin-top: 1em;
  margin-bottom: 1em;
}

span.attrib {
  color: darkgreen;
}
